Stepwise refinement of distributed systems - models, formalisms correctness : proceedings
- Författare
- (REX Workshop, Mook, the Netherlands, May 29 - June 2, 1989 J.W. de Bakker, W.-P. de Roever, G. Rozenberg (eds.).)
- Genre
- Konferenspublikation
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer-Vlg | cop. 1990 | Tyskland, Berlin, New York | x, 808 sidor. ill. |